Programming Shorthands Programming Shorthands
نویسندگان
چکیده
We propose programming language mechanisms to reduce redundancy in program source code. These abbreviation mechanisms, shorthands, make programs shorter and easier to write and read. In addition, we provide a framework for describing language abbreviation mechanisms.
منابع مشابه
Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)
Epistemic negation not along with default negation ¬ plays a key role in knowledge representation and nonmonotonic reasoning. However, the existing approaches behave not satisfactorily in that they suffer from the problems of unintended world views due to recursion through the epistemic modal operator K or M (KF and MF are shorthands for ¬notF and not¬F , respectively). In this paper we present...
متن کاملComputational Properties of SNAFU
Sensor applications in Sensoria [1] are expressed using STEP (Sensorium Task Execution Plan). SNAFU (SensorNet Applications as Functional Units) serves as a high-level sensor-programming language, which is compiled into STEP. In SNAFU’s current form, its differences with STEP are relatively minor, as they are limited to shorthands and macros not available in STEP. We show that, however restrict...
متن کاملAction Language BC+
Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high level notations of answer set programs structured to represent transition systems. However, the form of answer set programs considered in the earlier work is quite limited in comparison with the modern Answer Set Programming (ASP) langua...
متن کاملImpediments to Systems Thinking: Communities Separated by a Common Language
Systems-thinking requires participants to view problems, and their solutions, within the context of the overall system. When this involves participants from diverse professional communities, several barriers to effective communication can arise. As in all human communities, shorthand representations, such as specialized jargon, that aid in efficient and precise communications have developed. Th...
متن کاملOne Network to Solve Them All — Solving Linear Inverse Problems using Deep Projection Models
We now describe the architecture of the networks used in the paper. We use exponential linear unit (elu) [1] as activation function. We also use virtual batch normalization [6], where the reference batch size bref is equal to the batch size used for stochastic gradient descent. We weight the reference batch with bref bref+1 . We define some shorthands for the basic components used in the networks.
متن کامل